Lusso vs Jolt
Understanding Lasso and Jolt, from theory to code
LassoとJolt
LassoとJoltの理解
LassoとJoltは、web3アプリケーションのスケーリングと開発を大幅に向上させるための新しい技術革新です。
これらは、SNARK(簡潔な非対話型の知識の証明)の設計に新しいアプローチを提供し、パフォーマンス、開発者の経験、および監査可能性の向上を提供します。
主なポイント:
SNARK設計の基本的なシフト: LassoとJoltは、SNARK設計の基本的な変化を表しています。
SNARKは年々進歩してきましたが、そのパフォーマンスに関する誤解や専門的なエンジニアリングが必要とされることが、長期的な採用を妨げてきました。
LassoとJoltは、より高速で開発者に優しいアプローチを提供することでこれらの課題に対応します。
Lassoの革新: Lassoは、大幅に高速な新しいルックアップ引数を導入します。これにより、既存のルックアップ引数に比べて約10倍の高速化が実現され、最適化が完了すると約40倍の改善が期待されます。Lassoの設計により、手作業での最適化が不要なzkVM(ゼロ知識仮想マシン)の操作が簡素化されます。
Joltの貢献: JoltはLassoを基に、zkVM設計の新しいアプローチを導入します。これは"ルックアップの特異性"に焦点を当て、よりシンプルなツールと軽量なルックアップ中心の回路を目指しています。Joltの目的は、開発者が好みの高水準言語で高速なSNARKを書くことを可能にする、よりシンプルでアクセスしやすい開発者体験を提供することです。
LassoとJoltの利点: LassoとJoltによる革新は、以下のような多くの利点を提供します:
高速なパフォーマンス: Lassoは、最速のルックアップ引数実装となることが期待されています。
アクセスしやすい開発者体験: Lassoは、高水準のプログラミング言語での簡単な実装を可能にします。
強化された監査性: Lassoのアプローチは、以前の方法よりも監査が容易になり、監査の対象範囲をより読みやすいコードベースに集中させることができます。
実装と今後の方向性: Lassoのオープンソース実装がリリースされており、LassoとJoltによって設定されたビジョンを完全に実現するための作業が進行中です。これには、LassoとともにJoltを実装すること、多項式のコミットスキームに必要な多スカラー乗算(MSM)を最適化すること、および他の潜在的な改善を探ることが含まれます。